A linear programming approach to general dataflow process network verification and dimensioning
نویسندگان
چکیده
With the frequency version of Moore’s law coming to an end, a new generation of massively multi-core microprocessors is emerging. This has triggered a regain of interest for the so-called dataflow programming models in which one expresses computation-intensive applications as networks of concurrent tasks interacting through (and only through) unidirectional FIFO channels. Our main result is a linear programming model (Sect. 2) of the states of a general Dataflow Process Network (DPN), in the sense of Lee & Parks [1], which allows to obtain a polynomial-time sufficient condition for both liveness (in a sense which is defined in Sect. 3) and memory boundedness (Sect. 4). Furthermore, this approach can be turned into a safe buffer dimensioning method.
منابع مشابه
Design of Optimal Process Flowsheet for Fractional Crystallization Separation Process
A procedure is presented that synthesizes fractional crystallization separation processes to obtain pure solids from multi-component solutions. The method includes a procedure to generate a network flow model to identify alternative process designs for fractional crystallization. The main advantage of this systematic procedure with respect to other reported procedures is using non-equilibri...
متن کاملThe Calculation of the output price vectorby applying reverse linear programming: The novel approach in DEA
In the today’s world wherein every routine is based on economic factors, there is no doubt that theoretical sciences are driven by their capabilities and affordances in terms of economy. As a mathematical tool, data envelopment analysis (DEA) is provided to economics, so that one can investigate associated costs, prices and revenues of economic units. Data Envelopment Analysis (DEA) is a linear...
متن کاملA new solving approach for fuzzy multi-objective programming problem in uncertainty conditions by using semi-infinite linear programing
In practice, there are many problems which decision parameters are fuzzy numbers, and some kind of this problems are formulated as either possibilitic programming or multi-objective programming methods. In this paper, we consider a multi-objective programming problem with fuzzy data in constraints and introduce a new approach for solving these problems base on a combination of the multi-objecti...
متن کاملProduction Constraints Modelling: A Tactical Review Approach
A constraint is a limitation or a restriction that poses a threat to the performance and efficiency of a system. This paper presented a tactical review approach to production constraints modeling. It discussed the theory of constraints (TOC) as a thinking process and continuous improvement strategy to curtail constraints in other to constantly increase the performance and efficiency of a system...
متن کاملTarget setting in the process of merging and restructuring of decision-making units using multiple objective linear programming
This paper presents a novel approach to achieving the goals of data envelopment analysis in the process of reconstruction and integration of decision-making units by using multiple objective linear programming. In this regard, first, we review inverse data envelopment analysis models for data reconstruction and integration. We present a model with multi-objective linear programming structure in...
متن کامل